/**
 * Copyright [2012-2013] [Guðmundur Björn Birkisson]
 * 
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 * 
 *     http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License. Copyright [2012-2013] [Guðmundur Björn Birkisson]
 * 
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 * 
 *     http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 * 
 * ---------------------------------------------------------------------------
 * 
 * Class name:  BasisLoader
 * 
 * Description of class:
 * 
 * Loads a custom basis for the Karel programming language.
 * 
 */

package karel.util;

import is.hi.cs.morpho.Module;
import java.io.DataInputStream;
import java.io.InputStream;
import java.util.zip.InflaterInputStream;

public class BasisLoader {
    static public Module getKarelBasis() throws Exception {
        InputStream in = null;
        DataInputStream din = null;
        try {
            in = BasisLoader.class.getClassLoader().getResourceAsStream("karel/morpho/KarelBasis.mmod");
            in = new InflaterInputStream(in);
            din = new DataInputStream(in);
        } catch (Exception e) {
            e.printStackTrace();
            throw e;
        }
        Module res = new Module();
        res.load(din);
        din.close();
        return res;
    }
}
